/*
 * To change this license header, choose License Headers in Project Properties.
 * To change this template file, choose Tools | Templates
 * and open the template in the editor.
 */

package comunicacao;

import entities.Resposta;
import entities.Teatro;
import java.rmi.Remote;
import java.rmi.RemoteException;
import java.util.ArrayList;

/**
 *
  * @author Leonardo Lino Nº45340
 * @author Diogo Pires Nº40351
 */
public interface RmiAppInterface extends Remote {
    
    //Metodo para saber teatros que existem
	public Resposta listTheaters() throws RemoteException;

	//metodo para pesquisar por um unico teatro
	public Resposta getTheater (String theaterName) throws RemoteException;

	//reserva de 1 lugar num teatro
	public Resposta reserveSeat (String theaterName, int lugarID, int userID) throws RemoteException;


	//compra de 1 lugar num teatro
	public Resposta purchaseSeat (String theaterName, int lugarID, int userID) throws RemoteException;
        
        // metodo para deitar abaixo o servidor
	public boolean falha() throws RemoteException;

	// metodo para recomeÃ§ar o servidor
	public boolean restart() throws RemoteException;
    
}
